[next] [prev] [prev-tail] [tail] [up]

2.2.16 Integrals 1501 to 1600

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 1501

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

339 349 209 22 0 135 15 239 256

N.S.

1 1.03 0.62 0.06 0.00 0.40 0.04 0.71 0.76

time (sec)

N/A 0.624 0.008 3.345 0.000 0.278 1.211 0.385 0.103

Problem 1502

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

347 363 209 22 0 135 15 239 295

N.S.

1 1.05 0.60 0.06 0.00 0.39 0.04 0.69 0.85

time (sec)

N/A 0.543 0.008 3.172 0.000 0.285 1.201 0.405 0.106

Problem 1503

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

339 407 209 22 0 135 15 239 193

N.S.

1 1.20 0.62 0.06 0.00 0.40 0.04 0.71 0.57

time (sec)

N/A 0.527 0.009 3.241 0.000 0.273 1.182 0.403 6.014

Problem 1504

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

339 343 209 22 0 135 14 239 288

N.S.

1 1.01 0.62 0.06 0.00 0.40 0.04 0.71 0.85

time (sec)

N/A 0.582 0.008 3.254 0.000 0.275 1.181 0.291 0.081

Problem 1505

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

344 354 214 28 0 149 19 244 261

N.S.

1 1.03 0.62 0.08 0.00 0.43 0.06 0.71 0.76

time (sec)

N/A 0.616 0.010 3.257 0.000 0.301 1.198 0.369 0.101

Problem 1506

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

354 370 216 26 0 165 22 244 298

N.S.

1 1.05 0.61 0.07 0.00 0.47 0.06 0.69 0.84

time (sec)

N/A 0.561 0.011 3.413 0.000 0.308 1.208 0.388 5.919

Problem 1507

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

346 414 216 26 0 165 22 244 196

N.S.

1 1.20 0.62 0.08 0.00 0.48 0.06 0.71 0.57

time (sec)

N/A 0.530 0.011 3.321 0.000 0.284 1.244 0.386 5.967

Problem 1508

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

346 350 216 26 0 165 20 244 293

N.S.

1 1.01 0.62 0.08 0.00 0.48 0.06 0.71 0.85

time (sec)

N/A 0.588 0.011 3.260 0.000 0.281 1.237 0.310 0.039

Problem 1509

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 29 32 20 58 29 19 29 0

N.S.

1 1.16 1.28 0.80 2.32 1.16 0.76 1.16 0.00

time (sec)

N/A 0.149 0.190 3.630 0.182 0.277 0.828 0.298 0.000

Problem 1510

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

62 66 22 17 0 28 31 0 0

N.S.

1 1.06 0.35 0.27 0.00 0.45 0.50 0.00 0.00

time (sec)

N/A 0.179 10.016 4.688 0.000 0.079 0.414 0.000 0.000

Problem 1511

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 28 28 21 34 34 39 34 20

N.S.

1 1.00 1.00 0.75 1.21 1.21 1.39 1.21 0.71

time (sec)

N/A 0.154 0.033 3.451 0.190 0.269 0.687 0.263 5.607

Problem 1512

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

125 130 22 17 0 0 34 0 0

N.S.

1 1.04 0.18 0.14 0.00 0.00 0.27 0.00 0.00

time (sec)

N/A 0.255 10.008 3.961 0.000 0.000 0.469 0.000 0.000

Problem 1513

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A C A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 37 35 28 58 29 88 29 0

N.S.

1 1.06 1.00 0.80 1.66 0.83 2.51 0.83 0.00

time (sec)

N/A 0.156 0.159 3.274 0.187 0.288 0.901 0.303 0.000

Problem 1514

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

41 50 42 27 86 37 49 36 0

N.S.

1 1.22 1.02 0.66 2.10 0.90 1.20 0.88 0.00

time (sec)

N/A 0.170 0.220 3.198 0.183 0.255 2.660 0.268 0.000

Problem 1515

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 29 18 15 19 14 22 19 14

N.S.

1 1.07 0.67 0.56 0.70 0.52 0.81 0.70 0.52

time (sec)

N/A 0.168 0.022 3.326 0.185 0.254 0.330 0.270 6.024

Problem 1516

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 29 35 20 58 29 19 29 0

N.S.

1 1.16 1.40 0.80 2.32 1.16 0.76 1.16 0.00

time (sec)

N/A 0.161 0.201 3.346 0.186 0.251 1.115 0.285 0.000

Problem 1517

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 13 13 10 9 9 8 9 9

N.S.

1 1.00 1.00 0.77 0.69 0.69 0.62 0.69 0.69

time (sec)

N/A 0.137 0.016 3.368 0.177 0.279 0.117 0.267 0.096

Problem 1518

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B B A B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

8 8 18 7 33 16 5 16 0

N.S.

1 1.00 2.25 0.88 4.12 2.00 0.62 2.00 0.00

time (sec)

N/A 0.141 0.298 3.348 0.189 0.256 0.486 0.271 0.000

Problem 1519

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 14 14 11 25 25 8 25 10

N.S.

1 1.00 1.00 0.79 1.79 1.79 0.57 1.79 0.71

time (sec)

N/A 0.150 0.002 3.399 0.195 0.270 0.466 0.282 0.060

Problem 1520

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 16 13 12 16 12 21 12

N.S.

1 1.00 1.00 0.81 0.75 1.00 0.75 1.31 0.75

time (sec)

N/A 0.136 0.204 3.325 0.187 0.262 0.368 0.273 6.166

Problem 1521

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 29 31 28 37 44 22 37 23

N.S.

1 0.94 1.00 0.90 1.19 1.42 0.71 1.19 0.74

time (sec)

N/A 0.159 0.052 3.386 0.190 0.296 1.117 0.262 6.290

Problem 1522

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 33 23 20 25 26 26 40 19

N.S.

1 1.00 0.70 0.61 0.76 0.79 0.79 1.21 0.58

time (sec)

N/A 0.156 0.257 3.298 0.190 0.261 0.677 0.287 5.922

Problem 1523

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 50 38 37 64 52 60 49 49

N.S.

1 1.06 0.81 0.79 1.36 1.11 1.28 1.04 1.04

time (sec)

N/A 0.167 0.064 3.357 0.202 0.266 2.611 0.268 6.300

Problem 1524

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

130 134 34 17 0 55 29 0 0

N.S.

1 1.03 0.26 0.13 0.00 0.42 0.22 0.00 0.00

time (sec)

N/A 0.244 10.011 4.394 0.000 0.099 0.588 0.000 0.000

Problem 1525

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

62 66 34 17 0 28 29 0 0

N.S.

1 1.06 0.55 0.27 0.00 0.45 0.47 0.00 0.00

time (sec)

N/A 0.171 10.023 6.252 0.000 0.084 0.484 0.000 0.000

Problem 1526

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

114 113 22 17 0 49 29 0 0

N.S.

1 0.99 0.19 0.15 0.00 0.43 0.25 0.00 0.00

time (sec)

N/A 0.215 10.014 3.945 0.000 0.093 0.400 0.000 0.000

Problem 1527

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 45 22 17 0 15 29 0 0

N.S.

1 1.00 0.49 0.38 0.00 0.33 0.64 0.00 0.00

time (sec)

N/A 0.153 10.008 3.937 0.000 0.091 0.356 0.000 0.000

Problem 1528

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

130 127 22 17 0 51 32 0 0

N.S.

1 0.98 0.17 0.13 0.00 0.39 0.25 0.00 0.00

time (sec)

N/A 0.242 10.009 3.831 0.000 0.085 0.401 0.000 0.000

Problem 1529

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

62 66 22 17 0 33 32 0 0

N.S.

1 1.06 0.35 0.27 0.00 0.53 0.52 0.00 0.00

time (sec)

N/A 0.173 10.008 4.193 0.000 0.091 0.507 0.000 0.000

Problem 1530

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

239 244 34 17 0 0 29 0 0

N.S.

1 1.02 0.14 0.07 0.00 0.00 0.12 0.00 0.00

time (sec)

N/A 0.313 10.013 4.238 0.000 0.000 0.499 0.000 0.000

Problem 1531

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

237 242 32 17 0 0 29 0 0

N.S.

1 1.02 0.14 0.07 0.00 0.00 0.12 0.00 0.00

time (sec)

N/A 0.314 10.014 4.207 0.000 0.000 0.467 0.000 0.000

Problem 1532

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 22 22 17 0 0 29 0 0

N.S.

1 1.00 1.00 0.77 0.00 0.00 1.32 0.00 0.00

time (sec)

N/A 0.140 10.010 4.103 0.000 0.000 0.400 0.000 0.000

Problem 1533

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 22 22 17 0 0 29 0 0

N.S.

1 1.00 1.00 0.77 0.00 0.00 1.32 0.00 0.00

time (sec)

N/A 0.147 10.010 3.943 0.000 0.000 0.371 0.000 0.000

Problem 1534

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

223 223 22 17 0 0 29 0 0

N.S.

1 1.00 0.10 0.08 0.00 0.00 0.13 0.00 0.00

time (sec)

N/A 0.280 10.008 3.802 0.000 0.000 0.350 0.000 0.000

Problem 1535

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

223 223 17 14 0 0 27 0 12

N.S.

1 1.00 0.08 0.06 0.00 0.00 0.12 0.00 0.05

time (sec)

N/A 0.302 10.006 3.796 0.000 0.000 0.352 0.000 5.782

Problem 1536

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

37 37 20 17 0 0 31 0 15

N.S.

1 1.00 0.54 0.46 0.00 0.00 0.84 0.00 0.41

time (sec)

N/A 0.163 10.008 3.966 0.000 0.000 0.391 0.000 5.976

Problem 1537

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 39 22 17 0 0 32 0 0

N.S.

1 1.00 0.56 0.44 0.00 0.00 0.82 0.00 0.00

time (sec)

N/A 0.158 10.009 4.042 0.000 0.000 0.409 0.000 0.000

Problem 1538

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F(-1) F C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

239 244 22 17 0 0 32 0 0

N.S.

1 1.02 0.09 0.07 0.00 0.00 0.13 0.00 0.00

time (sec)

N/A 0.302 10.007 4.111 0.000 0.000 0.475 0.000 0.000

Problem 1539

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

239 244 22 17 0 0 32 0 0

N.S.

1 1.02 0.09 0.07 0.00 0.00 0.13 0.00 0.00

time (sec)

N/A 0.318 10.008 4.098 0.000 0.000 0.517 0.000 0.000

Problem 1540

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

163 325 289 66 0 1039 70 223 852

N.S.

1 1.99 1.77 0.40 0.00 6.37 0.43 1.37 5.23

time (sec)

N/A 0.613 0.351 3.480 0.000 1.000 3.818 0.267 6.090

Problem 1541

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B C B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

8 8 8 7 16 18 19 21 0

N.S.

1 1.00 1.00 0.88 2.00 2.25 2.38 2.62 0.00

time (sec)

N/A 0.138 0.209 3.881 0.292 0.270 0.503 0.285 0.000

Problem 1542

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A C B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 18 15 33 16 32 30 0

N.S.

1 1.00 1.00 0.83 1.83 0.89 1.78 1.67 0.00

time (sec)

N/A 0.152 0.004 3.718 0.184 0.266 0.527 0.277 0.000

Problem 1543

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

12 12 12 9 8 8 7 8 8

N.S.

1 1.00 1.00 0.75 0.67 0.67 0.58 0.67 0.67

time (sec)

N/A 0.143 0.010 3.179 0.273 0.275 0.057 0.287 0.097

Problem 1544

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

12 12 23 9 17 17 15 18 8

N.S.

1 1.00 1.92 0.75 1.42 1.42 1.25 1.50 0.67

time (sec)

N/A 0.142 0.007 3.498 0.272 0.271 0.056 0.286 0.109

Problem 1545

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 33 35 22 58 29 37 29 0

N.S.

1 1.14 1.21 0.76 2.00 1.00 1.28 1.00 0.00

time (sec)

N/A 0.150 0.222 3.503 0.222 0.260 0.882 0.270 0.000

Problem 1546

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 14 13 13 12 13 13

N.S.

1 1.00 1.00 0.82 0.76 0.76 0.71 0.76 0.76

time (sec)

N/A 0.159 0.003 0.016 0.238 0.257 0.016 0.276 0.024

Problem 1547

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 14 13 13 12 13 13

N.S.

1 1.00 1.00 0.82 0.76 0.76 0.71 0.76 0.76

time (sec)

N/A 0.161 0.002 0.015 0.195 0.259 0.016 0.279 0.022

Problem 1548

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 14 13 13 12 13 13

N.S.

1 1.00 1.00 0.82 0.76 0.76 0.71 0.76 0.76

time (sec)

N/A 0.165 0.003 0.015 0.202 0.263 0.016 0.279 0.024

Problem 1549

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 14 13 13 12 13 13

N.S.

1 1.00 1.00 0.82 0.76 0.76 0.71 0.76 0.76

time (sec)

N/A 0.162 0.003 0.014 0.206 0.264 0.019 0.284 0.026

Problem 1550

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 14 13 13 12 13 13

N.S.

1 1.00 1.00 0.82 0.76 0.76 0.71 0.76 0.76

time (sec)

N/A 0.159 0.002 0.013 0.205 0.248 0.017 0.272 0.023

Problem 1551

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

12 14 12 11 10 10 8 10 10

N.S.

1 1.17 1.00 0.92 0.83 0.83 0.67 0.83 0.83

time (sec)

N/A 0.144 0.001 0.013 0.191 0.261 0.016 0.276 0.026

Problem 1552

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

8 8 8 9 8 8 7 9 8

N.S.

1 1.00 1.00 1.12 1.00 1.00 0.88 1.12 1.00

time (sec)

N/A 0.144 0.001 0.011 0.190 0.266 0.032 0.291 0.023

Problem 1553

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

11 11 11 12 11 13 7 12 11

N.S.

1 1.00 1.00 1.09 1.00 1.18 0.64 1.09 1.00

time (sec)

N/A 0.157 0.006 0.016 0.203 0.258 0.038 0.301 0.034

Problem 1554

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 15 15 12 14 11 12 13 11

N.S.

1 1.00 1.00 0.80 0.93 0.73 0.80 0.87 0.73

time (sec)

N/A 0.162 0.007 0.014 0.201 0.275 0.044 0.276 0.024

Problem 1555

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 13 13 13 14 13 13

N.S.

1 1.00 1.00 0.76 0.76 0.76 0.82 0.76 0.76

time (sec)

N/A 0.166 0.003 0.013 0.195 0.271 0.048 0.280 0.027

Problem 1556

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 13 13 13 14 13 13

N.S.

1 1.00 1.00 0.76 0.76 0.76 0.82 0.76 0.76

time (sec)

N/A 0.164 0.003 0.016 0.200 0.259 0.053 0.274 0.026

Problem 1557

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 13 13 13 14 13 13

N.S.

1 1.00 1.00 0.76 0.76 0.76 0.82 0.76 0.76

time (sec)

N/A 0.163 0.003 0.018 0.197 0.296 0.062 0.262 0.027

Problem 1558

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 13 13 13 14 13 13

N.S.

1 1.00 1.00 0.76 0.76 0.76 0.82 0.76 0.76

time (sec)

N/A 0.170 0.007 0.018 0.202 0.252 0.072 0.269 0.028

Problem 1559

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 30 30 25 24 24 26 24 24

N.S.

1 1.00 1.00 0.83 0.80 0.80 0.87 0.80 0.80

time (sec)

N/A 0.174 0.005 0.018 0.188 0.263 0.019 0.271 0.048

Problem 1560

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 30 30 25 24 24 24 24 24

N.S.

1 1.00 1.00 0.83 0.80 0.80 0.80 0.80 0.80

time (sec)

N/A 0.164 0.004 0.017 0.187 0.277 0.017 0.273 0.036

Problem 1561

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 30 30 25 24 24 26 24 24

N.S.

1 1.00 1.00 0.83 0.80 0.80 0.87 0.80 0.80

time (sec)

N/A 0.170 0.003 0.015 0.206 0.267 0.020 0.267 0.062

Problem 1562

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 14 14 13 20 20 19 20 20

N.S.

1 1.00 1.00 0.93 1.43 1.43 1.36 1.43 1.43

time (sec)

N/A 0.140 0.004 0.015 0.202 0.264 0.021 0.278 0.033

Problem 1563

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 22 22 21 20 20 20 21 20

N.S.

1 1.00 1.00 0.95 0.91 0.91 0.91 0.95 0.91

time (sec)

N/A 0.157 0.002 0.017 0.198 0.276 0.040 0.269 0.032

Problem 1564

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 20 20 21 20 24 17 21 20

N.S.

1 1.00 1.00 1.05 1.00 1.20 0.85 1.05 1.00

time (sec)

N/A 0.160 0.006 0.020 0.201 0.275 0.050 0.274 0.030

Problem 1565

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 24 24 23 21 26 22 22 23

N.S.

1 1.00 1.00 0.96 0.88 1.08 0.92 0.92 0.96

time (sec)

N/A 0.172 0.005 0.018 0.206 0.319 0.069 0.267 0.046

Problem 1566

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 26 23 14 22 24 14 22

N.S.

1 1.00 1.62 1.44 0.88 1.38 1.50 0.88 1.38

time (sec)

N/A 0.145 0.008 0.021 0.211 0.263 0.072 0.270 0.037

Problem 1567

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 30 30 24 24 24 26 24 24

N.S.

1 1.00 1.00 0.80 0.80 0.80 0.87 0.80 0.80

time (sec)

N/A 0.175 0.005 0.019 0.190 0.270 0.075 0.262 0.037

Problem 1568

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 30 30 24 24 24 26 24 24

N.S.

1 1.00 1.00 0.80 0.80 0.80 0.87 0.80 0.80

time (sec)

N/A 0.171 0.008 0.023 0.191 0.293 0.081 0.276 0.037

Problem 1569

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 30 30 24 24 24 26 24 24

N.S.

1 1.00 1.00 0.80 0.80 0.80 0.87 0.80 0.80

time (sec)

N/A 0.169 0.005 0.020 0.204 0.274 0.090 0.283 0.042

Problem 1570

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 43 36 35 35 37 35 35

N.S.

1 1.00 1.00 0.84 0.81 0.81 0.86 0.81 0.81

time (sec)

N/A 0.181 0.005 0.018 0.198 0.252 0.019 0.267 0.051

Problem 1571

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 43 36 35 35 39 35 35

N.S.

1 1.00 1.00 0.84 0.81 0.81 0.91 0.81 0.81

time (sec)

N/A 0.184 0.003 0.019 0.193 0.280 0.019 0.286 0.046

Problem 1572

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 30 40 35 34 34 36 34 34

N.S.

1 1.00 1.33 1.17 1.13 1.13 1.20 1.13 1.13

time (sec)

N/A 0.169 0.003 0.014 0.195 0.269 0.022 0.267 0.045

Problem 1573

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 14 14 13 31 31 32 31 31

N.S.

1 1.00 1.00 0.93 2.21 2.21 2.29 2.21 2.21

time (sec)

N/A 0.142 0.003 0.016 0.197 0.300 0.020 0.268 0.041

Problem 1574

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 35 35 32 31 31 34 32 31

N.S.

1 1.00 1.00 0.91 0.89 0.89 0.97 0.91 0.89

time (sec)

N/A 0.173 0.005 0.020 0.194 0.254 0.042 0.267 0.037

Problem 1575

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 34 34 33 32 36 31 33 32

N.S.

1 1.00 1.00 0.97 0.94 1.06 0.91 0.97 0.94

time (sec)

N/A 0.169 0.006 0.022 0.195 0.255 0.051 0.272 0.044

Problem 1576

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 33 33 32 31 37 32 31 32

N.S.

1 1.00 1.00 0.97 0.94 1.12 0.97 0.94 0.97

time (sec)

N/A 0.170 0.008 0.021 0.186 0.274 0.077 0.282 5.827

Problem 1577

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

37 37 37 34 34 37 36 35 34

N.S.

1 1.00 1.00 0.92 0.92 1.00 0.97 0.95 0.92

time (sec)

N/A 0.175 0.007 0.019 0.206 0.261 0.091 0.277 0.042

Problem 1578

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 39 34 14 33 36 14 33

N.S.

1 1.00 2.44 2.12 0.88 2.06 2.25 0.88 2.06

time (sec)

N/A 0.143 0.006 0.018 0.187 0.253 0.106 0.267 0.030

Problem 1579

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 36 41 35 35 35 37 35 34

N.S.

1 1.00 1.14 0.97 0.97 0.97 1.03 0.97 0.94

time (sec)

N/A 0.156 0.008 0.018 0.200 0.270 0.112 0.273 0.034

Problem 1580

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 43 35 35 35 37 35 35

N.S.

1 1.00 1.00 0.81 0.81 0.81 0.86 0.81 0.81

time (sec)

N/A 0.178 0.005 0.019 0.204 0.261 0.120 0.270 0.033

Problem 1581

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 43 35 35 35 37 35 35

N.S.

1 1.00 1.00 0.81 0.81 0.81 0.86 0.81 0.81

time (sec)

N/A 0.179 0.011 0.020 0.209 0.255 0.135 0.259 0.036

Problem 1582

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 43 35 35 35 37 35 35

N.S.

1 1.00 1.00 0.81 0.81 0.81 0.86 0.81 0.81

time (sec)

N/A 0.183 0.008 0.019 0.196 0.262 0.135 0.269 0.034

Problem 1583

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

106 106 106 91 90 90 104 90 90

N.S.

1 1.00 1.00 0.86 0.85 0.85 0.98 0.85 0.85

time (sec)

N/A 0.251 0.007 0.025 0.184 0.278 0.026 0.266 0.062

Problem 1584

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

106 106 106 91 90 90 105 90 90

N.S.

1 1.00 1.00 0.86 0.85 0.85 0.99 0.85 0.85

time (sec)

N/A 0.253 0.004 0.024 0.197 0.250 0.027 0.263 5.743

Problem 1585

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

98 98 106 91 90 90 105 90 90

N.S.

1 1.00 1.08 0.93 0.92 0.92 1.07 0.92 0.92

time (sec)

N/A 0.243 0.004 0.023 0.190 0.235 0.029 0.260 0.053

Problem 1586

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

81 81 104 91 90 90 104 90 90

N.S.

1 1.00 1.28 1.12 1.11 1.11 1.28 1.11 1.11

time (sec)

N/A 0.236 0.004 0.022 0.193 0.245 0.034 0.278 5.879

Problem 1587

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

64 64 106 91 90 90 105 90 90

N.S.

1 1.00 1.66 1.42 1.41 1.41 1.64 1.41 1.41

time (sec)

N/A 0.212 0.004 0.023 0.223 0.246 0.031 0.289 0.057

Problem 1588

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 47 102 91 90 90 102 90 90

N.S.

1 1.00 2.17 1.94 1.91 1.91 2.17 1.91 1.91

time (sec)

N/A 0.202 0.004 0.022 0.201 0.275 0.029 0.264 5.994

Problem 1589

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 30 104 91 90 90 104 90 90

N.S.

1 1.00 3.47 3.03 3.00 3.00 3.47 3.00 3.00

time (sec)

N/A 0.179 0.004 0.022 0.193 0.258 0.034 0.269 5.930

Problem 1590

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 14 14 13 86 86 94 86 86

N.S.

1 1.00 1.00 0.93 6.14 6.14 6.71 6.14 6.14

time (sec)

N/A 0.146 0.002 0.020 0.207 0.265 0.030 0.276 0.057

Problem 1591

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

98 98 98 87 86 86 100 87 86

N.S.

1 1.00 1.00 0.89 0.88 0.88 1.02 0.89 0.88

time (sec)

N/A 0.230 0.005 0.060 0.193 0.244 0.066 0.266 0.061

Problem 1592

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

95 95 95 88 87 92 95 88 87

N.S.

1 1.00 1.00 0.93 0.92 0.97 1.00 0.93 0.92

time (sec)

N/A 0.235 0.011 0.028 0.191 0.240 0.076 0.263 0.061

Problem 1593

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

95 95 95 88 86 92 97 87 88

N.S.

1 1.00 1.00 0.93 0.91 0.97 1.02 0.92 0.93

time (sec)

N/A 0.242 0.006 0.027 0.191 0.248 0.111 0.284 5.650

Problem 1594

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

93 93 93 88 86 92 95 87 88

N.S.

1 1.00 1.00 0.95 0.92 0.99 1.02 0.94 0.95

time (sec)

N/A 0.227 0.012 0.029 0.199 0.255 0.117 0.269 0.058

Problem 1595

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

95 95 95 88 88 92 97 89 88

N.S.

1 1.00 1.00 0.93 0.93 0.97 1.02 0.94 0.93

time (sec)

N/A 0.238 0.007 0.029 0.204 0.278 0.149 0.266 0.057

Problem 1596

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

93 93 93 88 88 92 95 89 88

N.S.

1 1.00 1.00 0.95 0.95 0.99 1.02 0.96 0.95

time (sec)

N/A 0.235 0.013 0.027 0.208 0.248 0.183 0.273 5.639

Problem 1597

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

95 95 95 88 88 92 95 89 88

N.S.

1 1.00 1.00 0.93 0.93 0.97 1.00 0.94 0.93

time (sec)

N/A 0.235 0.006 0.030 0.215 0.258 0.217 0.286 5.407

Problem 1598

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

94 94 94 87 87 92 94 88 92

N.S.

1 1.00 1.00 0.93 0.93 0.98 1.00 0.94 0.98

time (sec)

N/A 0.233 0.006 0.026 0.201 0.252 0.273 0.272 5.418

Problem 1599

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 100 100 89 89 92 95 90 89

N.S.

1 1.00 1.00 0.89 0.89 0.92 0.95 0.90 0.89

time (sec)

N/A 0.230 0.006 0.026 0.210 0.267 0.297 0.269 0.071

Problem 1600

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 96 89 14 88 95 14 88

N.S.

1 1.00 6.00 5.56 0.88 5.50 5.94 0.88 5.50

time (sec)

N/A 0.149 0.012 0.024 0.198 0.266 0.326 0.281 5.859

[next] [prev] [prev-tail] [front] [up]